Inserted expressed sequence MGI:5430598 beta-catenin<E654> Ctnnb1<tm1.2Wvv> targeted mutation 1.2, Wendy van Veelen http://identifiers.org/mgd/MGI:5430598